Cartesian closed category - PDFSEARCH.IO - Document Search Engine

Cartesian closed category
Results: 66

#	Item
41	Theory and Applications of Categories, Vol. 28, No. 21, 2013, pp. 616–695. ENRICHED INDEXED CATEGORIES Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2013-08-05 14:35:47 Functors Enriched category Coproduct Cartesian closed category Monoidal functor Product Braided monoidal category Fibred category Monoid Category theory Algebra Monoidal categories
42	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types£ Marcelo FioreÝ Add to Reading List Source URL: www.dicosmo.org Language: English - Date: 2013-09-21 09:08:30 Latin script Western calligraphy Ø Diaeresis Cartesian closed category Calligraphy C1 Controls and Latin-1 Supplement ISO/IEC Character encoding Character sets Acute accent
43	Cartesian Closed Dialectica Categories Bodil Biering, IT University of Copenhagen, [removed] Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-04-02 09:52:44 Dialectica interpretation Intuitionism Proof theory Cartesian closed category Universal property Constructible universe Monad Function Fibred category Mathematics Category theory Mathematical logic
44	THE CARTESIAN CLOSED BICATEGORY OF GENERALISED SPECIES OF STRUCTURES M. FIORE, N. GAMBINO, M. HYLAND, AND G. WINSKEL Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2007-10-29 10:09:01 Adjoint functors Monoidal categories Higher category theory Monoidal functor Combinatorial species Monad Functor 2-category Cartesian closed category Category theory Abstract algebra Mathematics
45	Free models of T -algebraic theories computed as Kan extensions Nicolas Tabareau ∗ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2008-11-17 11:04:51 Abstract algebra Monoid Functor PRO Adjoint functors Enriched category Cartesian closed category Algebraic structure Monad Category theory Algebra Monoidal categories
46	MFPS[removed]Towards a Common Categorical Semantics Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-04-24 15:13:37 Logic Monad Curry–Howard correspondence Monoidal category Cartesian closed category Categorical logic Kripke semantics Modal logic Strong monad Category theory Mathematics Adjoint functors
47	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
48	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
49	Reprints in Theory and Applications of Categories, No. 16, 2006, pp. 1–16. ADJOINTNESS IN FOUNDATIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-10-30 16:11:22 Functors Adjoint functors Universal property Equivalence of categories Natural transformation Topos Forgetful functor Sheaf Cartesian closed category Category theory Abstract algebra Mathematics
50	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra